weak excluded middle